solving proportion problems